Test Image Generation using Segmental Symbolic Evaluation
نویسندگان
چکیده
منابع مشابه
Test Generation Using Symbolic Execution
This paper presents a short introduction to automatic code-driven test generation using symbolic execution. It discusses some key technical challenges, solutions and milestones, but is not an exhaustive survey of this research area. 1998 ACM Subject Classification D.2.5 Testing and Debugging, D.2.4 Software/Program Verification
متن کاملHigh-Level Test Generation Using Symbolic Scheduling
A high-level test generation algorithm SWIFT is proposed which incorporates a symbolic scheduling procedure, derived from high-level synthesis applications, to resolve decision conflicts during test generation. SWIFT uses the induced fault model to generate functional tests that guarantee detection of low-level structural faults. When applied to functional models of representative 74Xseries, IS...
متن کاملExhaustive Test-case Generation using Symbolic Execution
Software testing has been one of the major challenges in the development of software for enterprise systems because it accounts for 30% to 50% of the total development cost required. Meanwhile, such testing has become increasingly important, because the upcoming paradigm for information and communications technology (ICT) system development, such as test-driven development and continuous integr...
متن کاملCoverage-Directed Test Generation Using Symbolic Techniques
In this paper, we present a verification methodology that integrates formal verification techniques with verification by simulation, thereby providing means for generating simulation test suites that ensure coverage. We derive the test suites by means of BDD-based symbolic techniques for describing and traversing the implementation state space. In our approach, we provide a high-level of contro...
متن کاملUsing symbolic execution to guide test generation
1Department of Computer Science and Software Engineering, The University of Western Australia, Crawley, WA 6009, Australia 2Department of Electrical Engineering, The University of Auckland, Private Bag 92019, Auckland, New Zealand 3Department of Electrical and Electronics Engineering, Chung-Ang University, Huksuk-dong 221, Dongjak-gu, Seoul 156-756, South Korea 4Division of Science and Engineer...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Networked and Distributed Computing
سال: 2014
ISSN: 2211-7946
DOI: 10.2991/ijndc.2014.2.3.3